Spec deltas

Per-capability spec changes proposed by prove-single-use-grant-consumption.