[angel-manuel]

Summary

• Extract AgentRegistryProvider, MessageQueueProvider, and StreamBrokerProvider traits from concrete in-memory implementations, enabling pluggable backend strategies
• Add Redis/Valkey-backed implementations behind the redis cargo feature for multi-instance HA deployments
• Ownership leases (SET EX + Lua CAS heartbeat) for tunnel pinning with automatic failover on TTL expiry
• XREADGROUP inbox streams for cross-instance message delivery using the "produce unconditionally" pattern
• XAUTOCLAIM + dead-letter queue for orphan recovery (max 3 deliveries, 4h max age)
• Redis pub/sub for SSE fan-out and control signals (takeover, force-disconnect)
• Centralized key schema in redis_backend/keys.rs
• Atomic Lua push script for message queue capacity enforcement (no TOCTOU race)
• Control channel subscriber in run_tunnel for cross-instance tunnel takeover

Design aligned with overfolder-on-overacp vision doc: tunnel-holder is owner, no sticky LB required, lock-symmetric across deployment modes.

Configuration

Env var	Required	Default	Notes
OVERACP_REDIS_URL	No	—	Enables Redis backend when set
OVERACP_INSTANCE_ID	No	hostname / random	Instance identifier for leases
PORT	No	8080	HTTP listen port

Test plan

• All 417 existing tests pass (unit + integration + e2e) — no Redis required
• cargo clippy clean with and without --features redis
• Pre-commit hooks pass (fmt + clippy + nextest)
• tests/smoke-ha.sh — two-instance smoke test against dockerized Valkey (requires Docker)
  • Cross-instance message push
  • Cross-instance SSE fan-out
  • Failover after instance kill

🤖 Generated with Claude Code

[sentry]

Codecov Report

❌ Patch coverage is 86.41304% with 25 lines in your changes missing coverage. Please review.
✅ Project coverage is 91.78%. Comparing base (a644966) to head (58cfaaf).

Files with missing lines	Patch %	Lines
server/src/tunnel/run.rs	74.35%	10 Missing ⚠️
server/src/state.rs	33.33%	6 Missing ⚠️
server/src/main.rs	0.00%	5 Missing ⚠️
server/src/startup.rs	55.55%	4 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #46      +/-   ##
==========================================
- Coverage   91.95%   91.78%   -0.17%     
==========================================
  Files          50       50              
  Lines        6798     6857      +59     
==========================================
+ Hits         6251     6294      +43     
- Misses        547      563      +16     

Files with missing lines	Coverage Δ
server/src/api/agents.rs	100.00% <100.00%> (+0.56%)	⬆️
server/src/registry/agent.rs	99.58% <100.00%> (+0.05%)	⬆️
server/src/registry/queue.rs	100.00% <100.00%> (ø)
server/src/tunnel/broker.rs	100.00% <100.00%> (ø)
server/src/tunnel/dispatch.rs	100.00% <100.00%> (ø)
server/src/startup.rs	69.23% <55.55%> (-30.77%)	⬇️
server/src/main.rs	0.00% <0.00%> (ø)
server/src/state.rs	91.66% <33.33%> (-8.34%)	⬇️
server/src/tunnel/run.rs	65.33% <74.35%> (-4.37%)	⬇️

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.