Cardano Updates

bench: Downgrade contra-tracer in cardano-recon-framework for compat

Make coverage reports better 2

waitForNextConnection blocks until db-sync reconnects, so RestartNode
can only be semantically valid (in the QSM sense) when db-sync is
actually running. Add dbSynsIsOn to the RestartNode precondition and
set its generator weight to 0 when db-sync is off to prevent generating
an impossible command that would hang forever.

Signed-off-by: William Hankins <[email protected]>

Generate Aiken source with test functions for cross-validating
MPF proofs and asset name derivation against the Haskell reference.
Pre-hashes keys with blake2b_256 to match the Aiken MPF library's
internal key hashing.

Release 0.1.86 rust

Generate Aiken source with test functions for cross-validating
MPF proofs and asset name derivation against the Haskell reference.
Pre-hashes keys with blake2b_256 to match the Aiken MPF library's
internal key hashing.

Unfold POSIXTime alias before omega to let it see through
abbrev POSIXTime := Int. Key pattern: bind vr.wf before
unfold so it gets normalized along with everything else.

- README with project overview and development instructions
- MkDocs with Material theme (slate)
- Architecture docs: on-chain types and formal safety properties

- Add release-please config (simple type) for automated releases
- Add release workflow triggered on push to main
- Add .llm/ to .gitignore

- Fix `opaque def X := Y` → `opaque X : Type := Y` (invalid syntax)
- Fix dangling docstring not followed by declaration
- Fix anonymous constructor placeholders in emptyInit
- Prefix unused variables with underscore