Engula Proof Results

11/12

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

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

1/1

Community client library compatibility (go-redis)

Name	Status	Summary	Duration	Version	Time	Report
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)	3m31s	engula-latest	2026-05-02 23:43:01	View

Performance

0/4

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

Name	Status	Summary	Duration	Version	Time	Report
throughput	cancelfail	perf: 2 points, 1 pass, 1 fail, duration 5m55s	5m55s	engula-latest	2026-05-02 23:40:41	View
latency	cancelfail	perf: 2 points, 1 pass, 1 fail, duration 5m55s	5m55s	engula-latest	2026-05-02 23:40:41	View
cpu-usage	cancelfail	perf: 2 points, 1 pass, 1 fail, duration 5m55s	5m55s	engula-latest	2026-05-02 23:40:41	View
memory-efficiency	cancelfail	perf: 2 points, 1 pass, 1 fail, duration 5m55s	5m55s	engula-latest	2026-05-02 23:40:41	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: 1 points, 1 pass, 0 fail, duration 1m10s	1m10s	engula-latest	2026-05-02 23:45:08	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-04-21 15:10:20	-

HA & Cluster

6/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-05-02 23:43:25	View
cluster	check_circlepass	Cluster failover: 10.0s, 4 errors, no data loss	24s	engula-latest	2026-05-02 23:43:25	View
replica-sync	check_circlepass	Replica sync: 5 type tests passed, 10000 bulk keys verified, offset_diff=0	7s	engula-latest	2026-05-02 23:43:25	View
reshard	check_circlepass	Reshard: duration=16.3s, data_loss=0, error_rate=0.00%	1m34s	engula-latest	2026-05-02 23:43:25	View
mixed	check_circlepass	Mixed cluster: Scenario A (Redis primaries) failover=6.0s loss=0, Scenario B (Engula primaries) failover=8.1s loss=0	41s	engula-latest	2026-05-02 23:43:25	View
network-partition	check_circlepass	Network partition recovered: detection 8827.0ms, failover 11033.0ms, recovery 802.0ms, no data loss	43s	engula-latest	2026-04-10 16:01:57	View