Cardano Updates

Docs - Manual Rollbacks

Co-authored-by: Alexey Kuleshevich <[email protected]>

feat(makefile): refactor Makefile with improved targets, venv support, and help

Unblocks scheduled runs. asteria-player:dev never published —
publish-images skips it ("Tag 'dev' not found in repo"), so
Antithesis fails to pull and every scheduled run since 2026-04-25
came back Incomplete with zero container stdout.

Asteria work continues under #56 / PR #67. Re-add to compose once a
real image tag is published.

Ogmios already absent from main (removed in 7e0f8f5 pending #49).

- Add virtual environment management for all targets
- Organize targets into sections: setup, linting, release, documentation, maintenance, help
- Add clean and clean-all targets for artifact and venv cleanup
- Add install-doc target for documentation dependencies
- Improve documentation build process
- Add self-documenting help target with usage info
- Use consistent variable names and comments

Add plain DecCBOR instances for DijkstraBlockBodyRaw and
DijkstraBlockBody (needed for decoder equivalence tests), and a
custom ToExpr instance for DijkstraBlockBody. Add block_body to
the CddlSpec test suite.

Replace the manual segmented-witness serialization with MemoBytes,
which simplifies the code significantly. The block body is now
serialized as a flat 3-element list [invalid_transactions, transactions,
peras_certificate] instead of 5 separate segments.

Also fix PerasCert to encode/decode as bytes (matching CDDL),
reimplement alignedValidFlags using IntSet, and expose
DijkstraBlockBodyRaw/MkDijkstraBlockBody from Internal module.

Define HuddleRule instances for "block_body" and "peras_certificate"
in the Dijkstra era, with a custom CBOR generator for block_body
that generates valid transaction indices. Update the CDDL spec to
match the new block structure: block = [header, block_body].

Change genArrayTerm from Gen to MonadGen so it can be used in
CBORGen contexts (e.g. custom CBOR generators for Huddle specs).

- Add `blockBodySize` as a method on `EraBlockBody` with a default
  implementation using `EncCBORGroup`, replacing the standalone
  `bBodySize` function
- Remove `EncCBORGroup (BlockBody era)` superclass constraint from
  `EraBlockBody` so that eras can provide their own `blockBodySize`
  without needing `EncCBORGroup`

Bumps [webiny/action-conventional-commits](https://github.com/webiny/action-conventional-commits) from 1.3.1 to 1.4.2.
- [Release notes](https://github.com/webiny/action-conventional-commits/releases)
- [Commits](https://github.com/webiny/action-conventional-commits/compare/v1.3.1...v1.4.2)

---
updated-dependencies:
- dependency-name: webiny/action-conventional-commits
  dependency-version: 1.4.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [github.com/blinklabs-io/gouroboros](https://github.com/blinklabs-io/gouroboros) from 0.153.1 to 0.165.3.
- [Release notes](https://github.com/blinklabs-io/gouroboros/releases)
- [Changelog](https://github.com/blinklabs-io/gouroboros/blob/main/RELEASE_NOTES.md)
- [Commits](https://github.com/blinklabs-io/gouroboros/compare/v0.153.1...v0.165.3)

---
updated-dependencies:
- dependency-name: github.com/blinklabs-io/gouroboros
  dependency-version: 0.165.3
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

The sql query was very inefficient and also the completion tracking
can't afford to check hashes. Keeping a counter in the database, written
to within the same transaction seemed the best way forward.

Signed-off-by: Sasha Bogicevic <[email protected]>