Engula Proof Results

14/16

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

Name	Status	Summary	Duration	Version	Time	Report
runtest	check_circlepass	runtest: Passed 84, Failed 8, Errors 0, Skipped 0 (pass rate: 99.2%)	19m52s	engula-latest	2026-06-05 05:37:50	View
coverage	check_circlepass	command coverage: 370/370 commands supported (100.0%)	1s	engula-latest	2026-06-05 05:37:50	View
protocol	check_circlepass	protocol: 50/50 match, 0 mismatch, 0 errors (RESP2+RESP3)	1s	engula-latest	2026-06-05 05:37:50	View
lua	check_circlepass	lua: Passed 23, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-06-05 05:37:50	View
transaction	check_circlepass	transaction: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-06-05 05:37:50	View
pubsub	check_circlepass	pubsub: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%)	5s	engula-latest	2026-06-05 05:37:50	View
stream	check_circlepass	stream: Passed 15, Failed 0, Skipped 0 (pass rate: 100.0%)	2s	engula-latest	2026-06-05 05:37:50	View
persistence	cancelfail	persistence: 0 passed, 10 failed	33s	engula-latest	2026-06-05 05:37:50	View
errors	check_circlepass	errors: 10 passed, 0 failed	1s	engula-latest	2026-06-05 05:37:50	View
modules	check_circlepass	modules: Passed 19, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-06-05 05:37:50	View
acl	check_circlepass	acl: Passed 14, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-06-05 05:37:50	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-06-05 05:37:50	View
keyspace	check_circlepass	keyspace: Passed 7, Failed 0, Skipped 0 (pass rate: 100.0%)	42s	engula-latest	2026-06-05 05:37:50	View
sentinel	check_circlepass	runtest-sentinel: Passed 16, Failed 0, Errors 0, Skipped 0 (pass rate: 100.0%)	2m12s	engula-latest	2026-06-05 05:37:50	View
cluster	check_circlepass	runtest-cluster: Passed 28, Failed 0, Errors 0, Skipped 0 (pass rate: 100.0%)	10m51s	engula-latest	2026-06-05 05:37:50	View
moduleapi	syncrunning	Running...	-	engula-latest	2026-06-05 05:37:50	-

Client Compatibility

4/4

Community client library compatibility (jedis, redis-py, go-redis, node-redis)

Name	Status	Summary	Duration	Version	Time	Report
jedis	check_circlepass	jedis v6.2.0 vs redis: compat_pass_rate=0.9989 (8552/8561), 9 engula-only failures, 1 shared failures (pass, threshold 0.95)	16m23s	engula-latest	2026-06-04 20:00:01	View
redis-py	check_circlepass	redis-py master vs redis-server Redis server v=7.2.11 sha=d4c381df:0 malloc=jemalloc-5.3.0 bits=64 build=7dce983fad20426a: compat_pass_rate=0.9991 (3477/3480), 3 engula-only failures, 0 shared failures (pass, threshold 0.95)	10m5s	engula-latest	2026-06-04 19:18:02	View
go-redis	check_circlepass	go-redis v9.3.1 vs standard-location: compat_pass_rate=1.0000 (580/580), 0 engula-only failures, 89 shared failures (pass, threshold 0.95)	3m30s	engula-latest	2026-06-04 20:00:01	View
node-redis	check_circlepass	node-redis stable vs redis-server Redis server v=7.2.9 sha=00000000:0 malloc=jemalloc-5.3.0 bits=64 build=6fedd50513fcbef1: compat_pass_rate=1.0000 (2137/2137), 0 engula-only failures, 6 shared failures (pass, threshold 0.95)	7m24s	engula-latest	2026-06-04 19:18:02	View

Performance

4/4

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

Name	Status	Summary	Duration	Version	Time	Report
throughput	check_circlepass	perf: 36 points, 36 pass, 0 fail, duration 1h16m21s	1h16m21s	engula-latest	2026-06-05 03:43:15	View
latency	check_circlepass	perf: 36 points, 36 pass, 0 fail, duration 1h16m21s	1h16m21s	engula-latest	2026-06-05 03:43:15	View
cpu-usage	check_circlepass	perf: 36 points, 36 pass, 0 fail, duration 1h16m21s	1h16m21s	engula-latest	2026-06-05 03:43:15	View
memory-efficiency	check_circlepass	perf: 36 points, 36 pass, 0 fail, duration 1h16m21s	1h16m21s	engula-latest	2026-06-05 03:43:15	View

RDB Save/Load

1/1

RDB save time, load time, and memory efficiency comparison

Name	Status	Summary	Duration	Version	Time	Report
rdb-save-load	check_circlepass	RDB save/load: 12 points, 12 pass, 0 fail, duration 34m26s	34m26s	engula-latest	2026-06-02 14:30:10	View

Platform

0/1

Linux x86_64 platform compatibility checks

Name	Status	Summary	Duration	Version	Time	Report
linux-x86_64	syncrunning	Running...	-	engula-latest	2026-06-05 06:15:39	-

HA & Cluster

5/5

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	16s	engula-latest	2026-06-05 06:11:38	View
cluster	check_circlepass	Cluster failover: 8.0s, 3 errors, no data loss	22s	engula-latest	2026-06-05 06:11:38	View
replica-sync	check_circlepass	Replica sync: 5 type tests passed, 10000 bulk keys verified, offset_diff=0	7s	engula-latest	2026-06-05 06:11:38	View
reshard	check_circlepass	Reshard: duration=11.6s, data_loss=0, error_rate=0.00%	1m22s	engula-latest	2026-06-05 06:11:38	View
mixed	check_circlepass	Mixed cluster: Scenario A (Redis primaries) failover=8.0s loss=1, Scenario B (Engula primaries) failover=8.0s loss=1	49s	engula-latest	2026-06-05 06:11:38	View