Engula Proof Results

15/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%)	19m41s	engula-latest	2026-08-29 01:14:07	View
coverage	check_circlepass	command coverage: 370/370 commands supported (100.0%)	1s	engula-latest	2026-08-29 01:14:07	View
protocol	check_circlepass	protocol: 50/50 match, 0 mismatch, 0 errors (RESP2+RESP3)	1s	engula-latest	2026-08-29 01:14:07	View
lua	check_circlepass	lua: Passed 23, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-08-29 01:14:07	View
transaction	check_circlepass	transaction: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-08-29 01:14:07	View
pubsub	check_circlepass	pubsub: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%)	5s	engula-latest	2026-08-29 01:14:07	View
stream	check_circlepass	stream: Passed 15, Failed 0, Skipped 0 (pass rate: 100.0%)	2s	engula-latest	2026-08-29 01:14:07	View
persistence	check_circlepass	persistence: 10 passed, 0 failed	33s	engula-latest	2026-08-29 01:14:07	View
errors	check_circlepass	errors: 10 passed, 0 failed	1s	engula-latest	2026-08-29 01:14:07	View
modules	check_circlepass	modules: Passed 19, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-08-29 01:14:07	View
acl	check_circlepass	acl: Passed 14, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-08-29 01:14:07	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-08-29 01:14:07	View
keyspace	check_circlepass	keyspace: Passed 7, Failed 0, Skipped 0 (pass rate: 100.0%)	42s	engula-latest	2026-08-29 01:14:07	View
sentinel	check_circlepass	runtest-sentinel: Passed 16, Failed 0, Errors 0, Skipped 0 (pass rate: 100.0%)	2m10s	engula-latest	2026-08-29 01:14:07	View
cluster	check_circlepass	runtest-cluster: Passed 28, Failed 0, Errors 0, Skipped 0 (pass rate: 100.0%)	9m35s	engula-latest	2026-08-29 01:14:07	View
moduleapi	syncrunning	Running...	-	engula-latest	2026-08-29 01:14:07	-

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.9988 (8552/8562), 10 engula-only failures, 0 shared failures (pass, threshold 0.95)	15m53s	engula-latest	2026-07-26 00:04:57	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)	9m46s	engula-latest	2026-07-23 19:26:59	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)	3m27s	engula-latest	2026-07-26 00:04:57	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=0.9920 (2120/2137), 17 engula-only failures, 4 shared failures (pass, threshold 0.95)	5m55s	engula-latest	2026-07-23 20:10:09	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 1h17m35s	1h17m35s	engula-latest	2026-07-03 13:40:36	View
latency	check_circlepass	perf: 36 points, 36 pass, 0 fail, duration 1h17m35s	1h17m35s	engula-latest	2026-07-03 13:40:36	View
cpu-usage	check_circlepass	perf: 36 points, 36 pass, 0 fail, duration 1h17m35s	1h17m35s	engula-latest	2026-07-03 13:40:36	View
memory-efficiency	check_circlepass	perf: 36 points, 36 pass, 0 fail, duration 1h17m35s	1h17m35s	engula-latest	2026-07-03 13:40:36	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 34m24s	34m24s	engula-latest	2026-07-09 20:04:19	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-08-29 01:46:40	-

HA & Cluster

5/6

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-08-29 01:46:45	View
cluster	check_circlepass	Cluster failover: 8.0s, 3 errors, no data loss	22s	engula-latest	2026-08-29 01:46:45	View
replica-sync	syncrunning	Running...	-	engula-latest	2026-08-29 01:46:45	-
reshard	check_circlepass	Reshard: duration=12.0s, data_loss=0, error_rate=0.00%	1m23s	engula-latest	2026-08-29 01:38:56	View
mixed	check_circlepass	Mixed cluster: Scenario A (Redis primaries) failover=6.0s loss=0, Scenario B (Engula primaries) failover=8.0s loss=0	41s	engula-latest	2026-08-29 01:38:56	View
network-partition	check_circlepass	Network partition recovered: detection 8445.0ms, failover 10260.0ms, recovery 404.0ms, no data loss	43s	engula-latest	2026-06-29 20:32:58	View