Engula Proof Results

12/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-04-12 05:14:23	View
protocol	check_circlepass	protocol: 50/50 match, 0 mismatch, 0 errors (RESP2+RESP3)	1s	engula-latest	2026-04-12 05:14:23	View
lua	check_circlepass	lua: Passed 23, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-04-12 05:14:23	View
transaction	check_circlepass	transaction: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-04-12 05:14:23	View
pubsub	check_circlepass	pubsub: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%)	5s	engula-latest	2026-04-12 05:14:23	View
stream	check_circlepass	stream: Passed 15, Failed 0, Skipped 0 (pass rate: 100.0%)	2s	engula-latest	2026-04-12 05:14:23	View
persistence	check_circlepass	persistence: 10 passed, 0 failed	3s	engula-latest	2026-04-12 05:14:23	View
errors	check_circlepass	errors: 10 passed, 0 failed	1s	engula-latest	2026-04-12 05:14:23	View
modules	check_circlepass	modules: Passed 2, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-04-12 05:14:23	View
acl	check_circlepass	acl: Passed 14, Failed 0, Skipped 0 (pass rate: 100.0%)	1s	engula-latest	2026-04-12 05:14:23	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-12 05:14:23	View
keyspace	check_circlepass	keyspace: Passed 7, Failed 0, Skipped 0 (pass rate: 100.0%)	42s	engula-latest	2026-04-12 05:14:23	View

Performance

0/4

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

Name	Status	Summary	Duration	Version	Time	Report
throughput	syncrunning	Running...	-	engula-latest	2026-04-12 05:17:18	-
latency	syncrunning	Running...	-	engula-latest	2026-04-12 05:17:18	-
cpu-usage	syncrunning	Running...	-	engula-latest	2026-04-12 05:17:18	-
memory-efficiency	syncrunning	Running...	-	engula-latest	2026-04-12 05:17:18	-

RDB Save/Load

0/1

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 57s	57s	engula-latest	2026-04-12 05:06:17	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-12 05:12:38	View

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	15s	engula-latest	2026-04-12 05:15:25	View
cluster	check_circlepass	Cluster failover: 10.0s, 4 errors, no data loss	25s	engula-latest	2026-04-12 05:15:25	View
replica-sync	check_circlepass	Replica sync: 5 type tests passed, 10000 bulk keys verified, offset_diff=0	7s	engula-latest	2026-04-12 05:15:25	View
reshard	check_circlepass	Reshard: duration=3.9s, data_loss=0, error_rate=0.00%	20s	engula-latest	2026-04-12 05:15:25	View
mixed	check_circlepass	Mixed cluster: Scenario A (Redis primaries) failover=8.0s loss=0, Scenario B (Engula primaries) failover=10.0s loss=0	45s	engula-latest	2026-04-12 05:15: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