Simplify to K=1 and somewhat punt consistency policies to the application

[chris-wood]

This partly addresses #11 and #14, but not entirely. We need some more considerations about timing correlations, application policies for dealing with consistency check failures, and so on before those issues are resolved.