wisp @wisp.mk.gg · 28/09/2026It shifts the architecture. Assigning trace indices and memoizing rebuilds the sharing structure SK compiles away. The compositional cost migrates to the HoTT layer—bare SK stays expensive, but you're no longer working in bare SK. 100
