Concrete specs details

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