Widen friendly rendering to all Shelley-based eras

[Jimbo4350]

Changelog

- description: |
    `transaction view` and `debug transaction-view` now work on
    Shelley- through Conway-era tx and tx-body files. Previously the
    friendly renderer was Conway-only via the experimental API; this
    series migrates it to `Exp.SignedTx` / `Exp.UnsignedTx` and widens
    `friendlyTx` / `friendlyTxBody` to take `ShelleyBasedEra era`
    instead of `Exp.Era era`. Field presence is now era-accurate:
    fields the era doesn't have (e.g. `mint` in Shelley, `collateral
    inputs` in Mary, `update proposal` in Conway+) are omitted from
    the output rather than rendered as `null`. The `update proposal`
    field is read directly from the ledger `TxBody` for Shelley-Babbage.
  type:
   - feature
   - breaking
   - refactoring
  projects:
   - cardano-cli

Context

Continuing the experimental-API migration. The friendly renderer
(Cardano.CLI.Compatible.Json.Friendly) was the last consumer of the
old-API TxBodyContent constructor in cardano-cli — it pattern-matched
on the result of getTxBodyContent to render each field.

This series:

1. Migrates, widens, and refactors the renderer in one cohesive
   step: friendlyTx / friendlyTxBody now take ShelleyBasedEra era and accept Exp.SignedTx / Exp.UnsignedTx. friendlyTxBodyImpl
   reads every field directly from the ledger TxBody via lenses and
   composes a list of pairs from per-feature helpers
   (validityRangePair, mintPairFor, collateralInputsPairFor, …).
   Era-gated helpers return [Aeson.Pair] and emit [] in eras that
   don't have the field, so JSON keys for absent-in-this-era fields
   are omitted from the output rather than rendered as null. Also
   adds an Alonzo YAML golden alongside the existing JSON one.
   Relies on cardano-api 11.1.0.0 (Widen Exp.SignedTx to all Shelley-based eras cardano-api#1199),
   which widened Exp.SignedTx / Exp.UnsignedTx to all
   Shelley-based eras.
2. Renders the update proposal field for Shelley-Babbage eras —
   read directly from the ledger TxBody via updateTxBodyL. Each
   era's PParamsUpdate is rendered via its ledger ToJSON
   instance. Conway+ has no update field (replaced by the governance
   system), so the key is absent for those eras.

After this change, no use of the old-API TxBodyContent remains in
cardano-cli. The remaining Exp.TxBodyContent references in
EraBased/Transaction/Run.hs are the experimental variant and are
unaffected.

Notable behaviour changes

• All Shelley-based eras: transaction view and
  debug transaction-view now succeed on Shelley through Babbage tx
  and tx-body files.
• Era-accurate field presence: keys for fields a given era
  doesn't have are absent from the JSON/YAML output (instead of
  appearing with null). For example: pre-Mary outputs no longer
  include mint; pre-Alonzo outputs no longer include collateral inputs, total collateral, return collateral, required signers, reference inputs; Conway+ outputs no longer include
  update proposal.
• update proposal field semantics (where present):
  • Shelley-Babbage: rendered from the ledger TxBody's update
    field. null when the body has no update; otherwise an object
    with epoch and updates: [{genesis key hash, update}] where
    each update is the ledger-ToJSON rendering of PParamsUpdate.
  • Conway+: the key is omitted entirely.
• auxiliary scripts field: now rendered from the ledger
  TxAuxData via friendlyAuxScripts. Shelley has no auxiliary
  scripts (always null); Allegra/Mary render native (timelock)
  scripts; Alonzo+ render native plus Plutus scripts. Empty script
  sets render as null.

How to trust this PR

• All golden view / debug transaction view tests pass:

  cabal test cardano-cli-golden --test-options='-p "/transaction view/"'
  

• grep TxBodyContent in cardano-cli now only returns
  Exp.TxBodyContent references (experimental):

  grep -rn '\bTxBodyContent\b' --include='*.hs' cardano-cli/
  

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• Existing tests still pass
• Self-reviewed the diff

[Copilot]

Pull request overview

This PR continues the experimental-API migration by switching the “friendly” transaction/tx-body renderer to accept Cardano.Api.Experimental transaction types and by rendering tx-body fields directly from the ledger TxBody via lenses, removing the last usage of the old-API TxBodyContent pattern in this module.

Changes:

• Update friendlyTx / friendlyTxBody to consume Exp.SignedTx / Exp.UnsignedTx, and refactor the implementation to read ledger TxBody fields via lenses.
• Update debug transaction view to wrap parsed transactions/tx-bodies into the experimental wrapper types before rendering.
• Refresh golden outputs (notably removing the update proposal field and adding Alonzo YAML goldens).

Reviewed changes

Copilot reviewed 22 out of 22 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
cardano-cli/src/Cardano/CLI/Compatible/Json/Friendly.hs	Refactors friendly rendering to ledger-lens-based extraction and experimental tx wrappers.
cardano-cli/src/Cardano/CLI/EraIndependent/Debug/TransactionView/Run.hs	Adapts debug transaction view command to call the updated friendly renderer with Exp.*Tx wrappers.
cardano-cli/src/Cardano/CLI/Read.hs	Wraps update proposal envelope reading in era constraints (likely required by updated API constraints).
cardano-cli/test/cardano-cli-golden/Test/Golden/Debug/TransactionView.hs	Adds an Alonzo YAML golden test case.
cardano-cli/test/cardano-cli-golden/files/golden/alonzo/transaction-view.yaml	New golden output for Alonzo YAML rendering.
cardano-cli/test/cardano-cli-golden/files/golden/alonzo/transaction-view.json	Golden updated to match new friendly output (e.g., key set/ordering differences such as removed update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/alonzo/transaction-view.out	Golden updated to match new friendly output (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/babbage/transaction-view.yaml	Golden updated (adds datums/redeemers/scripts; removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/babbage/transaction-view.json	Golden updated (adds datums/redeemers/scripts; removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/conway/transaction-view.yaml	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/conway/transaction-view.json	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/conway/transaction-view-metadata-noschema.out	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/conway/transaction-view-metadata-detailedschema.out	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/conway/tx-proposal.out.json	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/shelley/transaction-view.yaml	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/shelley/transaction-view.json	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/mary/transaction-view.yaml	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/mary/transaction-view.json	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/allegra/transaction-view.yaml	Golden updated (removes update proposal).
cardano-cli/test/cardano-cli-golden/files/golden/allegra/transaction-view.json	Golden updated (removes update proposal).
cardano-cli/cardano-cli.cabal	Bumps cardano-api dependency constraint to ^>=11.1.
cabal.project	Updates cardano-haskell-packages index-state for dependency resolution.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.