cholerab ledger-spec: initial commit