- Added §4.7 WebSocket concurrency & backpressure stress test (50 concurrent WS) - Added §§2.5-2.6: local-first software principles, edge AI inference - Added references [8]-[11]: Kleppmann (local-first), AWQ quantization, speculative decoding, edge LLM - Updated abstract to include WebSocket latency data point