IntersectMBO / IntersectMBO/cardano-ledger
CDDL specification for predicate failures
Open
:fountain_pen: documentation
cddl
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
When the ledger rules fail and then return a predicate failure, the consensus layer returns them via the CBOR serialization in the ledger repo to the mini-protocols. The format (CDDL specification), however, of these failures does not exist. It would be helpful for users who do not use Haskell to have this documentation.
See https://github.com/input-output-hk/cardano-node/issues/5139
Contributor guide
Assessment
This issue has not been assessed yet.