Issues

• docs(spec): Formal state transition invariants between PREPARED, COMMITTED, and ABORTED phases

  ronitgupta138/Agent-2PC#7 · Filter by author ronitgupta138 opened on Oct 30, 2026

• test(scenarios): Add Jepsen-style simulated network partition and coordinator failover tests

  ronitgupta138/Agent-2PC#6 · Filter by author ronitgupta138 opened on Oct 30, 2026

• refactor(recovery): Deterministic crash recovery log playback for in-doubt distributed transactions

  ronitgupta138/Agent-2PC#5 · Filter by author ronitgupta138 opened on Oct 30, 2026

• perf(locking): Fine-grained lock striping across resource keys to prevent global coordinator contention

  ronitgupta138/Agent-2PC#4 · Filter by author ronitgupta138 opened on Oct 30, 2026

• feat(consensus): Dynamic participant timeout adaptation based on exponential moving average RPC latency

  ronitgupta138/Agent-2PC#3 · Filter by author ronitgupta138 opened on Oct 30, 2026

• feat(wal): Implement CRC32-checksummed append-only binary Write-Ahead Log with fsync barriers

  ronitgupta138/Agent-2PC#2 · Filter by author ronitgupta138 opened on Oct 30, 2026