Cardano Updates

Add per-era FromJSON instances for the experimental TxOut type,
mirroring the ToJSON structure. Pre-Alonzo eras parse address and
value only; Alonzo adds datum hash support; Babbage+ adds inline
datum (parsed from inlineDatumRaw with hash validation) and
reference script support. Supplemental datums are deliberately
unsupported as the ledger TxOut does not carry them.

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Adithya Kumar <[email protected]>
Co-authored-by: Alexander Vershilov <[email protected]>

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Adithya Kumar <[email protected]>
Co-authored-by: Alexander Vershilov <[email protected]>

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Adithya Kumar <[email protected]>
Co-authored-by: Alexander Vershilov <[email protected]>

Update PR number in Discussions field

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Adithya Kumar <[email protected]>
Co-authored-by: Alexander Vershilov <[email protected]>

Replace the three separate where-bound helpers (datumFields,
inlineDatumFields, refScriptFields) with a single top-level
datumAndRefScriptFields function. Simplifies alonzoOnwardsTxOutToJson
and documents the per-era field layout in one place.

Add per-era FromJSON instances for the experimental TxOut type,
mirroring the ToJSON structure. Pre-Alonzo eras parse address and
value only; Alonzo adds datum hash support; Babbage+ adds inline
datum (parsed from inlineDatumRaw with hash validation) and
reference script support. Supplemental datums are deliberately
unsupported as the ledger TxOut does not carry them.

Add CPS: Managing DRep Voting Power Concentration in Stake-Weighted Governance

### Single state analysis

<img width="993" height="1367" alt="image"
src="https://github.com/user-attachments/assets/e8bf6b73-2bfd-477d-8c47-f3330f9fc9b9"
/>

<img width="1053" height="1385" alt="image"
src="https://github.com/user-attachments/assets/4f6da251-bd7e-4256-b250-ade3d642a238"
/>

### Multiple parties diagnostic mode

<img width="1364" height="773" alt="image"
src="https://github.com/user-attachments/assets/c6a37bb3-2688-461d-a4af-6c6949b1021c"
/>

### Todo

- [x] Tidyup `ui` nix shell to be specific for this thing
- [x] Readme showing how to use it
- [x] Code tidyups?

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

getLedgerTablesUTxOValues: use getOriginalTxIn instead of coerceMapKeys

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

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

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

Provide generator for conway-based UTxO with valid domain values.

One is impossible, the other is a plain lie. Treat them separately so we
have a better time debugging this should it happen.

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