Cardano Updates

Pre-flight grep on the implementation pass showed lib/wallet/src/Cardano/
Wallet.hs already imports certificateFrom{Delegation,Voting}ActionLedger
from Cardano.Wallet.Shelley.Transaction.Ledger and its 4 callsites at
2729, 2738, 3533, 3542 already use the *Ledger variants. The Phase-0
research had it wrong; plan.md, quickstart.md, and tasks.md inherited
the error. Spec.md was correct (line 18 already named the single
caller).

Slice scope shrinks from 'edit two files + delete two + cabal prune' to
'edit Shelley/Transaction.hs + delete two + cabal prune'. SC-001/SC-002,
FR-003, and the byte-equivalence proof are unaffected.

Signed-off-by: KtorZ <[email protected]>

Signed-off-by: rcmorano <[email protected]>

* feat(cf-idw): add support for customizing witnesses affinity/tolerations independently

* chore(cf-idw): fix typo

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): trying fixes

* chore(cf-idw): bump version

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

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

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

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

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

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

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

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

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

<!-- Describe your change here -->

---

<!-- Consider each and tick it off one way or the other -->
* [ ] CHANGELOG updated or not needed
* [ ] Documentation updated or not needed
* [ ] Haddocks updated or not needed
* [ ] No new TODOs introduced or explained herafter

* Mithril update 2026-05-13

* Update blog/2026-05-13-mithril.md

Co-authored-by: olgahryniuk <[email protected]>

---------

Co-authored-by: olgahryniuk <[email protected]>

PlutusCore.MkPlc.mkVar already propagates the annotation from a
VarDecl. Bring mkTyVar and UntypedPlutusCore.MkUPlc.mkVar in line so the
three helpers behave consistently, removing a footgun where callers
could pass an annotation that diverges from the one stored in the
declaration.

Drop the now-unused ann parameter from PIR.Compiler.Definitions'
lookupType and lookupOrDefineType while at it; its only use was feeding
the explicit-ann mkTyVar.