Fix Sem Formula edge overlay node order and graph controls

Use per-SCM JS shards for local and hosted edge-error visualization

Update CausalArena interactive leaderboard with edge-error graph