The concrete section of the Anoma v2 specs must include all concrete types and structures with which the abstract specification is actually instantiated with in v2; namely, at least:
- encoding formats for Anoma data structures
- Nockma format for transaction candidate evaluation
- Cairo format for resource logics
- RISC5 format for resource logics (details TBD)
Anything I missed here? cc @mariari