diff --git a/.huskies/work/1_backlog/477_spike_distributed_build_agents_via_bft_crdts_over_websocket.md b/.huskies/work/1_backlog/477_spike_distributed_build_agents_via_bft_crdts_over_websocket.md
index 904f9335..ea5f629b 100644
--- a/.huskies/work/1_backlog/477_spike_distributed_build_agents_via_bft_crdts_over_websocket.md
+++ b/.huskies/work/1_backlog/477_spike_distributed_build_agents_via_bft_crdts_over_websocket.md
@@ -34,7 +34,11 @@ Story markdown files (content/AC), worktrees, and config files remain on the fil
 ## Reference
 
 - BFT JSON CRDT paper: https://jzhao.xyz/posts/bft-json-crdt
-- User has a working Rust implementation ready to integrate
+- Rust crate at `crates/bft-json-crdt/` — Ed25519 keypairs, causal dependencies, JSON-native values
+- Auth comes free: every CRDT op is signed by the author's Ed25519 key. `AuthorId` = public key.
+- Causal dependency tracking built in: ops with unmet deps are queued until deps arrive (handles network partitions)
+- Performance is fine for pipeline state (low op volume). BFT mode ~20x slower than basic but pipeline does maybe a few ops/minute.
+- Needs: persistence layer (state survives restarts), WebSocket transport (serialize SignedOps over WS)
 
 ## Hypothesis