01. System
Architecture & Internals
Sharded actor model, segment log storage, and protocol definitions.
HTML
02. Semantics
Contract & Invariants
Delivery guarantees, message states, and failure handling rules.
HTML
03. Metrics
Performance Report
Throughput/Latency benchmarks and current system limitations.
HTML
04. Verification
Reliability & Testing
Crash Oracle harness, failpoints, and stress testing methodology.
HTML
05. Development
Notes & Known Issues
Visual regressions and testing priority plan.
HTML
Current System Metrics
| Benchmark Environment | Dell Latitude E5440 (Release Build) |
|---|---|
| Enqueue Throughput (1KB) | 757.60 msg/sec |
| Enqueue P95 Latency | 1.55 ms |
| Recovery Time (5k msgs) | 0.18 ms |