ledger-spec

This spec doesn't exist yet.