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

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)	16m21s	engula-latest	2026-07-17 18:50:31	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)	10m9s	engula-latest	2026-07-17 18:50:31	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)	3m32s	engula-latest	2026-07-17 18:50:31	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, 4 shared failures (pass, threshold 0.95)	7m26s	engula-latest	2026-07-17 18:02:10	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

1/1

Linux x86_64 platform compatibility checks

Name	Status	Summary	Duration	Version	Time	Report
linux-x86_64	check_circlepass	7 platform checks passed	1m17s	engula-latest	2026-07-18 09:57:44	View

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	16s	engula-latest	2026-07-18 10:03:08	View
cluster	check_circlepass	Cluster failover: 10.0s, 4 errors, no data loss	23s	engula-latest	2026-07-18 10:03:08	View
replica-sync	check_circlepass	Replica sync: 5 type tests passed, 10000 bulk keys verified, offset_diff=0	6s	engula-latest	2026-07-18 10:03:08	View
reshard	syncrunning	Running...	-	engula-latest	2026-07-18 10:03:08	-
mixed	check_circlepass	Mixed cluster: Scenario A (Redis primaries) failover=6.0s loss=0, Scenario B (Engula primaries) failover=6.0s loss=2	44s	engula-latest	2026-07-18 09:55:13	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