Cardano Updates

Sounds good, thanks @KtorZ  — and happy for you to take the build-time script, as you offered in the [plan doc](https://docs.google.com/document/d/1bVM5ebHXk97jvRUHPLwbh6g8RL77N4VDuLbbjYfaqu0/edit?tab=t.0#heading=h.wjsbt0enk2yo); you know the build setup best.
On my side I'll remove the checked-in llms-full.txt and add it to .gitignore so it's generated rather than versioned, and keep the snippet metadata blocks clean so the script has tidy input to pull from.

Co-authored-by: Matthias Benkort <[email protected]>

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

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

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

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

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

- tray/wizard: implemented setup wizard framework and navigation
- tray/wizard: added notification permission verification flow
- tray: renamed application to AdderTray and updated bundle identity
- tray: implemented bulletproof tray icon synchronization and cache-busting
- tray: expanded recent events menu to 10 entries with explorer links
- output: implemented 'Log to File' functionality and added webhook tests
- macos: fixed native notification icons and Script Editor bug via bundle ID cycling
- ci: fixed 30+ lint issues (gosec, perfsprint, exhaustive, prealloc) for v2 compatibility

Signed-off-by: Ales Verbic <[email protected]>

Signed-off-by: Jonathan Lim <[email protected]>

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

  - Replace bilinear value_contains with O(n+m) sorted lockstep merge
  - Cache negative_count in LedgerValue for O(1) checks
  - Add size short-circuit matching Haskell valueContains
  - Replace UnValueData(&'static str) with typed enum
  - Add valueDataMaxSize (40,000) check to value_data
  - Enforce CIP-153 invariants in flat decode (ordering, no zeros, no empty maps)
  - Remove redundant MachineError::value() helper

Signed-off-by: Jonathan Lim <[email protected]>

Signed-off-by: Jonathan Lim <[email protected]>

Signed-off-by: Jonathan Lim <[email protected]>

Signed-off-by: Jonathan Lim <[email protected]>

Signed-off-by: Jonathan Lim <[email protected]>

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

Implements bls12 MultiScalarMul

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

Co-authored-by: sg-doc-holiday[bot] <219201796+sg-doc-holiday[bot]@users.noreply.github.com>

Add --unrestricted to the `transaction witness` command reference in the
README: Ledger app v8 + expert mode, relaxed client-side checks, no pool
registration certificate, unsupported on Trezor/Keystone.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

  - Replace bilinear value_contains with O(n+m) sorted lockstep merge
  - Cache negative_count in LedgerValue for O(1) checks
  - Add size short-circuit matching Haskell valueContains
  - Replace UnValueData(&'static str) with typed enum
  - Add valueDataMaxSize (40,000) check to value_data
  - Enforce CIP-153 invariants in flat decode (ordering, no zeros, no empty maps)
  - Remove redundant MachineError::value() helper

Signed-off-by: Jonathan Lim <[email protected]>

* Add FromJSON (TxOut era) as EraTxOut superclass constraint
* Add FromJSON t as Val t superclass constraint
* Add ToJSON/FromJSON for Datum era
* Add FromJSON for ShelleyTxOut, AlonzoTxOut, BabbageTxOut
* Add FromJSON for MaryValue; fix FromJSON/FromJSONKey for AssetName to hex-decode
* Add round-trip JSON property test for TxOut era

* Add ToJSON, FromJSON and NFData as EraTxWits superclass constraints
* Add ToJSON/FromJSON for WitVKey, BootstrapWitness
* Add ToJSONKey/FromJSONKey for AccountId
* Add ToJSON/FromJSON for Inclusive and Exclusive
* Add FromJSON for TxIn; fix txInToText to use unTxIx
* Add FromJSON for PoolCert
* Add ToJSON/FromJSON for ShelleyTxWits era
* Add FromJSON for AsIx, AlonzoPlutusPurpose AsIx, TxDats, Redeemers, AlonzoTxWits
* Add FromJSON for ConwayDelegCert, ConwayGovCert, ConwayTxCert era, ConwayPlutusPurpose
* Add FromJSON for GovActionId, Voter, Vote, VotingProcedure, ProposalProcedure, GovAction, GovPurposeId
* Add ToJSON/FromJSON for AccountBalanceInterval, DijkstraScript
* Add FromJSON for DijkstraDelegCert, DijkstraTxCert era
* Add round-trip JSON property test for TxWits era