Make maxIterations injectable to test FeeCalculationDidNotConverge

[Copilot]

The FeeCalculationDidNotConverge error path in calcMinFeeRecursive was untestable without a transaction that genuinely fails to converge in 50 iterations (practically impossible with realistic protocol parameters).

Changes

• Fee.hs: Extracted the implementation into calcMinFeeRecursiveWith :: Int -> ... where the Int is the iteration limit. calcMinFeeRecursive becomes a one-liner delegating to calcMinFeeRecursiveWith 50. Exported calcMinFeeRecursiveWith under -- Internal.

• Test/Cardano/Api/Experimental.hs: Added prop_calcMinFeeRecursive_did_not_converge — calls calcMinFeeRecursiveWith 1 on a well-funded zero-fee transaction. The single iteration advances the fee (Case 3) and the counter hits 0 on the recursive call, deterministically returning FeeCalculationDidNotConverge.

prop_calcMinFeeRecursive_did_not_converge :: Property
prop_calcMinFeeRecursive_did_not_converge = H.property $ do
  (unsignedTx, utxo, changeAddr) <- H.forAll $ genFundedSimpleTx Exp.ConwayEra
  let result = calcMinFeeRecursiveWith 1 changeAddr unsignedTx utxo
                 exampleProtocolParams mempty mempty mempty 0
  case result of
    Left Exp.FeeCalculationDidNotConverge -> H.success
    other -> H.annotateShow other >> H.failure

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

[Copilot]

Just as a heads up, I was blocked by some firewall rules while working on your feedback. Expand below for details.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• chap.intersectmbo.org
  • Triggering command: /usr/bin/curl /usr/bin/curl REDACTED --output /tmp/transportAdapterGet4042-7 --location --write-out %{http_code} --user-agent cabal-install/3.16.1.0 (linux; x86_64) --silent --show-error --dump-header /tmp/curl-headers4042-8.txt (dns block)
  • Triggering command: /usr/bin/curl /usr/bin/curl REDACTED --output /tmp/transportAdapterGet4385-3 --location --write-out %{http_code} --user-agent cabal-install/3.16.1.0 (linux; x86_64) --silent --show-error --dump-header /tmp/curl-headers4385-4.txt (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)