Cardano Updates

  closeTx now reads headAdaOverhead directly from the OpenDatum rather
  than recomputing it from the difference between head lovelace and
  snapshot UTxO lovelace. The old computation was vulnerable to griefing
  (anyone could bump the head value) and broke strict equality in the
  on-chain mustPreserveHeadAdaOverhead check. The value is already locked
  at init time, so propagating it unchanged is both simpler and correct.

  FinalPartialFanoutTx gains a separate utxoForProof field so the
  accumulator membership proof can include pre-settled UTxOs (e.g.
  decommit outputs already removed from the head by a DecrementTx before
  close), while utxoToDistribute covers only what is actually fanned out
  in the final step. finalPartialFanoutTx / finalPartialFanout are updated
  to accept the full accumulator explicitly rather than rebuilding it from
  utxoToDistribute alone.

  Test generators (genClosedStateForFanout, genClosedStateWithAppliedDecommit,
  genClosedStateForFanoutWithComplexUTxO) were setting head ADA to
  headAdaOverhead + genStOpen_u0Value + snapshot_u0Value, leaving surplus
  lovelace unaccounted for in the FinalPartialFanout conservation check.
  They now net out genStOpen's inflation so head ADA equals exactly
  headAdaOverhead + snapshot_u0Value as the invariant requires.

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

bench: remove cardano-recon-framework

Signed-off-by: Eric Torreborre <[email protected]>

LeiosOfferBlock / LeiosOfferBlockTxs are constructor names from an earlier
iteration of the notification type. The current type (LeiosEbNotification in
LeiosDemoDb.Common) has AcquiredEb / AcquiredEbTxs; the old names linger only in
stale comments.

Four sites updated: the leiosDbInsertTxs haddock in LeiosDemoDb.Common and three
test comments in Test.LeiosDemoDb. Comment-only change; no behaviour delta.

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Explain why the Mithril node columns derive from the Cardano minimum
versions and rename the unused loop variable to a descriptive placeholder.

Signed-off-by: Chris Gianelloni <[email protected]>

- Introduce `wait_for_latest_artifact_with_condition` for robust
  artifact validation with predicate support.
- Enhance certificate checks with minimum epoch validation logic.

Extend the `attempt!` macro to allow retrying based on predicate logic:
Introduce robust timeout handling with distinct reasons: `NoResponse`
and `PredicateNotSatisfied`.

Waiting for more than an epoch should not be needed at that stage since
those data should already have been produced by the aggregator anyway.

Keeping it as is will only make slower run took longer to fails if the
aggregator did not manage to create an artifact.

Snarks certificates are significantly slower to run than concatenation
certificates, this lighter scenario will be useful to still keep an e2e
test without taking hours to run.

* implemented a new `MinimalScenario` to validate artifact production
  and signing with minimal steps (no checks for era change, protocol
  params propagation, or stake delagation propagation)

- Transform/Lib.hs:114 — uniqueFromText now fails fast on non-ASCII or
  overflow-length (>7 byte) hints instead of silently aliasing Uniques
  (https://github.com/IntersectMBO/plutus/pull/7774#discussion_r3388121673)

Add a one-line attribution to the Theory and Practical course overviews, and
swap the multisig lesson's old developer-showcase wallet link for the CIP30
wallet filter on cardano.org/apps.

The info banner sat inside the genesis() function body, so it fired once per `wb genesis <op>` dispatch