Kielswap Documentation

Execution model, guarantees, and architecture