Skip to content

rmap: revisioned updates + JSON list helpers#63

Merged
raphael merged 4 commits intomainfrom
rmap-phase1-fixes
Dec 16, 2025
Merged

rmap: revisioned updates + JSON list helpers#63
raphael merged 4 commits intomainfrom
rmap-phase1-fixes

Conversation

@raphael
Copy link
Member

@raphael raphael commented Dec 16, 2025

Benefits

  • More reliable convergence after disconnects/PubSub drops (revisioned updates + reconnect resync).
  • List helpers store JSON arrays (safe encoding + stable semantics) and work across pool/streaming.
  • New *Ex APIs return existence/success flags.
  • Pool shutdown fully removes rmap keys (clean Redis between runs).
  • Redis test harness configurable via REDIS_PORT/REDIS_ADDR.

Tested

  • REDIS_PORT=6380 ./scripts/start-redis && REDIS_PORT=6380 ./scripts/test && REDIS_PORT=6380 ./scripts/stop-redis

@raphael raphael changed the title rmap: phase 1 robustness + test Redis config rmap: robustness + test Redis config Dec 16, 2025
@raphael raphael merged commit 28ed733 into main Dec 16, 2025
5 checks passed
@raphael raphael deleted the rmap-phase1-fixes branch December 16, 2025 02:13
@raphael raphael changed the title rmap: robustness + test Redis config rmap: revisioned updates + JSON list helpers Dec 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant