Remove old-API TxBody uses from cardano-cli (companion to cardano-api #1200)

[Jimbo4350]

Summary

Companion to cardano-api #1200, which deprecates the old transaction-body API surface. This PR strips the remaining old-API uses from cardano-cli so -Werror stays clean once cardano-cli bumps to a cardano-api containing #1200.

PR #1374 already migrated the friendly-tx renderer; this PR handles the rest: Cardano.CLI.Read, Cardano.CLI.EraBased.Transaction.Run, Cardano.CLI.EraIndependent.Debug.TransactionView.Run, and the TxBodyFile phantom alias in Cardano.CLI.Type.Common.

Deprecated symbols replaced:

Old (deprecated by #1200)	Replacement
TxBody era	Exp.UnsignedTx (ShelleyLedgerEra era)
getTxBody	pattern-match ShelleyTx _ ledgerTx
getTxBodyAndWitnesses	getTxWitnesses + ledger body via lens
makeShelleyKeyWitness	makeShelleyKeyWitness' (ledger body)
makeSignedTransaction	addWitnesses
getTxId . getTxBody	getTxIdShelley sbe (ledgerTx ^. L.bodyTxL)
evaluateTransactionExecutionUnits (on old TxBody)	evaluateTransactionExecutionUnitsShelley (ledger Tx)
evaluateTransactionFee (on old TxBody)	Exp.evaluateTransactionFee (on Exp.UnsignedTx)

Pre-Conway era support is preserved everywhere it currently works. The migration uses ledger-level signing (makeShelleyKeyWitness' / addWitnesses) rather than Exp.makeKeyWitness / Exp.signTx, which are Conway+ only. The TextEnvelope I/O boundary still uses Tx era / ShelleyTx _ (both non-deprecated); .tx/.txbody on-disk formats are unchanged.

The compatible command path (Cardano.CLI.Compatible.Transaction.Run) already used non-deprecated symbols and is unchanged.

Commits

Reviewable in order:

1. cabal.project: temporarily pin cardano-api to PR #1200 — temporary source-repository-package stanza so CI builds against the deprecated surface. Drop this commit before merging once cardano-api ships a release containing Experimental api propagation 2025-05-23 #1200.
2. Drop deprecated TxBody from TxBodyFile phantom — tiny, isolated. File (TxBody ()) → File TxBodyTag (a new empty tag type). No on-disk format change.
3. Migrate IncompleteTxBody and transaction commands to Exp.UnsignedTx — the substantive change. Reworks IncompleteTxBody from a newtype around InAnyShelleyBasedEra TxBody into a GADT carrying Exp.UnsignedTx (ShelleyLedgerEra era) with IsShelleyBasedEra evidence; readFileTxBody destructures ShelleyTx _ ledgerTx directly. Updates transaction sign / sign-witness / witness / txid / submit / calculate-min-fee / calculate-plutus-script-cost and debug transaction view.

How to trust this PR

• cabal build cardano-cli -j4 clean against the pinned cardano-api — zero -Wdeprecations, zero warnings.
• cabal test cardano-cli-test -j4 — 69 / 69 pass.
• cabal test cardano-cli-golden -j4 — 686 / 686 pass.
• No on-disk format changes; existing .tx/.txbody files continue to round-trip via HasTextEnvelope (Tx era).

Changelog

- description: |
    Migrate cardano-cli off the deprecated old-API transaction-body
    surface (`TxBody`, `TxBodyContent`, `getTxBody`, `getTxBodyContent`,
    `createTransactionBody`, `defaultTxBodyContent`, `BalancedTxBody`)
    in favour of the experimental API (`Exp.UnsignedTx`,
    `Exp.evaluateTransactionFee`) and the existing ledger-level
    `makeShelleyKeyWitness'` / `addWitnesses` pair. Pre-Conway era
    support and on-disk `.tx`/`.txbody` formats are preserved.
  type:
    - refactoring

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated (existing golden + unit suites cover all affected commands; no behaviour change)
• Self-reviewed the diff

[Copilot]

Pull request overview

Migrates cardano-cli away from the deprecated legacy transaction-body API (TxBody, TxBodyContent, getTxBody, etc.) to keep builds clean under -Wdeprecations -Werror, aligning with the experimental API direction in cardano-api#1200.

Changes:

• Replace TxBodyFile = File (TxBody ()) with a tag-based TxBodyFile = File TxBodyTag.
• Rework readFileTxBody/IncompleteTxBody to carry an Exp.UnsignedTx (ledger tx) plus era evidence, and update transaction/debug commands to use ledger-level signing/witness attachment.
• Temporarily pin cardano-api via source-repository-package in cabal.project to validate against the deprecated surface.

Reviewed changes

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

Show a summary per file

File	Description
cardano-cli/src/Cardano/CLI/Type/Common.hs	Switch TxBodyFile to a tag type to avoid deprecated TxBody in the phantom.
cardano-cli/src/Cardano/CLI/Read.hs	Redefine IncompleteTxBody and update readFileTxBody to produce Exp.UnsignedTx with era evidence.
cardano-cli/src/Cardano/CLI/EraIndependent/Debug/TransactionView/Run.hs	Update tx-body viewing path to consume IncompleteTxBody/Exp.UnsignedTx.
cardano-cli/src/Cardano/CLI/EraBased/Transaction/Run.hs	Replace deprecated tx-body operations with ledger-level tx-body extraction, witness creation, and addWitnesses.
cabal.project	Add a temporary cardano-api git pin to build against the deprecation changes.

---

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

[Jimbo4350]

Superseded by #1379, which folds in this PR's work (cardano-api #1200 companion — migration off the deprecated TxBody / TxBodyContent surface) along with the cardano-api #1209 TxOut migration (was #1376) and the cardano-api #1210 Certificate API migration. All three now consume the published cardano-api 11.2.0.0 from CHaP rather than a source-repository-package pin. Closing in favour of #1379.