Add relevant links to formal spec

Author: palas

cardano-cli/src/Cardano/CLI/EraBased/Transaction/Run.hs

@@ -291,7 +291,11 @@ runTransactionBuildCmd
     let currentTreasuryValueAndDonation =
           case (treasuryDonation, unFeatured <$> featuredCurrentTreasuryValueM) of
             (Nothing, _) -> Nothing -- We shouldn't specify the treasury value when no donation is being done
-            (Just td, mctv) -> Just (mctv, td) -- Current treasury value is not mandatory for donations (https://discord.com/channels/1136727663583698984/1239888777015590913/1364244737602879498)
+            (Just td, mctv) -> Just (mctv, td) -- Current treasury value is not mandatory for donations, see:
+            -- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Ledger.Conway.Specification.Utxo.html#sec:the-utxo-transition-system
+            -- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Notation.html#the-maybe-type
+            -- And discussion:
+            -- \* https://discord.com/channels/1136727663583698984/1239888777015590913/1364244737602879498
 
     -- We need to construct the txBodycontent outside of runTxBuild
     BalancedTxBody txBodyContent balancedTxBody _ _ <-

cardano-cli/test/cardano-cli-golden/Test/Golden/Conway/Transaction/BuildRaw.hs

@@ -45,7 +45,11 @@ hprop_golden_conway_build_raw_treasury_donation =
 
     H.diffFileVsGoldenFile outFile goldenFile
 
--- Current treasury value is not mandatory for donations (https://discord.com/channels/1136727663583698984/1239888777015590913/1364244737602879498)
+-- Current treasury value is not mandatory for donations, see formal spec:
+-- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Ledger.Conway.Specification.Utxo.html#sec:the-utxo-transition-system
+-- \* https://intersectmbo.github.io/formal-ledger-specifications/site/Notation.html#the-maybe-type
+-- And discussion:
+-- \* https://discord.com/channels/1136727663583698984/1239888777015590913/1364244737602879498
 
 -- | Execute me with:
 -- @cabal test cardano-cli-golden --test-options '-p "/golden conway build raw donation no current treasury value/"'@