Delivery semantics & reliability

This screen is not built yet. Its design is in Paper; the build follows docs/build/ledger.json.