Uniswap Local Cluster Example Error

[tbidne]

Hello, I am attempting to test the Uniswap example via its local cluster, and I'm running into an error. Steps to reproduce:

1. Run the local cluster

   $ export SHELLEY_TEST_DATA=plutus-pab/local-cluster/cluster-data/cardano-node-shelley/
   
   $ cabal run plutus-pab-local-cluster

2. From another terminal, activate the contract.

   $ curl -H "Content-Type: application/json" -X POST -d '{"caID": {"tag": "UniswapInit"}, "caWallet": {"getWalletId": "2d4cc31a4b3116ab86bfe529d30d9c362acd0b44"}}' localhost:9080/api/contract/activate | jq

3. In the cluster's console logs, observe:

   [pab:Info:1681] [2022-05-10 04:14:02.35 UTC] Initialising contract UniswapInit with ID 2e4a9f5b-e258-4087-9355-15f8983c8c70
   [pab:Info:1681] [2022-05-10 04:14:02.35 UTC] Activated instance 2e4a9f5b-e258-4087-9355-15f8983c8c70 on W2d4cc31
   [chain-index:Warning:1696] [2022-05-10 04:14:02.65 UTC] TipIsGenesis
   [pab:Error:1683] [2022-05-10 04:14:02.70 UTC] 2e4a9f5b-e258-4087-9355-15f8983c8c70: {
       "contents": {
           "contents": {
               "txOutRefId": {
                   "getTxId": "d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf"
               },
               "txOutRefIdx": 4
           },
           "tag": "TxOutRefNotFound"
       },
       "tag": "ConstraintResolutionContractError"
   }

Am I doing something wrong? I've confirmed it's the Currency.mintContract line in Plutus.Contracts.Uniswap.Trace:

setupTokens :: Contract (Maybe (Semigroup.Last Currency.OneShotCurrency)) Currency.CurrencySchema Currency.CurrencyError ()
setupTokens = do
    ownPK <- Contract.ownPaymentPubKeyHash
    cur   <- Currency.mintContract ownPK [(tn, fromIntegral (length wallets) * amount) | tn <- tokenNames]
    error "DYING" -- we never get here
    let cs = Currency.currencySymbol cur
        v  = mconcat [Value.singleton cs tn amount | tn <- tokenNames]

    forM_ wallets $ \w -> do
        let pkh = mockWalletPaymentPubKeyHash w
        when (pkh /= ownPK) $ do
            mkTxConstraints @Void mempty (mustPayToPubKey pkh v)
              >>= submitTxConfirmed . adjustUnbalancedTx

    tell $ Just $ Semigroup.Last cur

  where
    amount = 1000000

This is the output from the status endpoint:

curl localhost:9080/api/contract/instance/2e4a9f5b-e258-4087-9355-15f8983c8c70/status/ | jq

Expand JSON

{
  "cicWallet": {
    "prettyWalletName": null,
    "getWalletId": "2d4cc31a4b3116ab86bfe529d30d9c362acd0b44"
  },
  "cicCurrentState": {
    "lastLogs": [
      {
        "_logMessageContent": {
          "mkTxLogTxConstraints": {
            "txOwnInputs": [],
            "txConstraints": [
              {
                "contents": {
                  "txOutRefId": {
                    "getTxId": "d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf"
                  },
                  "txOutRefIdx": 4
                },
                "tag": "MustSpendPubKeyOutput"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "A"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "B"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "C"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "D"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              }
            ],
            "txOwnOutputs": []
          },
          "mkTxLogResult": {
            "Left": {
              "contents": {
                "txOutRefId": {
                  "getTxId": "d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf"
                },
                "txOutRefIdx": 4
              },
              "tag": "TxOutRefNotFound"
            }
          },
          "mkTxLogLookups": {
            "slTypedValidator": null,
            "slTxOutputs": [],
            "slOtherScripts": [],
            "slPaymentPubKeyHashes": [],
            "slOwnPaymentPubKeyHash": null,
            "slMPS": [
              [
                "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                {
                  "getMintingPolicy": "590b200100003323233223232332232323232323232323232323322323232323232323232323232323232323232322223232533532323500722350022235005223302b33028491024330003232333553027120013502e502c2350012233355302a1200135031502f23500122333500123303a4800000488cc0ec0080048cc0e8005200000133020002001350032222222222007323500e2233322335500200120013028120013350302233553029120012350012233550380023355302c1200123500122335503b00233350012330404800000488cc1040080048cc10000520000013302300200150323355302c12001235001223350343355036006335034335503600200150355035001350072233335001232635335738921024c680001f01e20012326353357389201024c680001f01e2326353357389201024c680001f01e330284910243310035002222222222233355302f120013502d503025335333573466e3c03cd400488d4008880080f80f44ccd5cd19b8700e3500122350022200103e03d103d00a3333573466e1cd55cea801a400046644246600200600464646464646464646464646666ae68cdc39aab9d500a480008cccccccccc888888888848cccccccccc00402c02802402001c01801401000c008cd40508c8c8cccd5cd19b8735573aa0049000119910919800801801180e9aba150023019357426ae8940088c98d4cd5ce01381301281209aab9e5001137540026ae854028cd4050054d5d0a804999aa80bbae501635742a010666aa02eeb94058d5d0a80399a80a00e9aba15006335014335502001e75a6ae854014c8c8c8cccd5cd19b8735573aa00490001199109198008018011919191999ab9a3370e6aae754009200023322123300100300233502375a6ae854008c090d5d09aba2500223263533573805605405205026aae7940044dd50009aba150023232323333573466e1cd55cea8012400046644246600200600466a046eb4d5d0a80118121aba135744a004464c6a66ae700ac0a80a40a04d55cf280089baa001357426ae8940088c98d4cd5ce01381301281209aab9e5001137540026ae854010cd4051d71aba15003335014335502075c40026ae854008c068d5d09aba2500223263533573804604404204026ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd50009aba150033232323333573466e1d400520062321222230040053015357426aae79400c8cccd5cd19b875002480108c848888c008014c05cd5d09aab9e500423333573466e1d400d20022321222230010053013357426aae7940148cccd5cd19b875004480008c848888c00c014dd71aba135573ca00c464c6a66ae7007807407006c0680640604d55cea80089baa001357426ae89400c8c98d4cd5ce00b80b00a80a1999ab9a3370e6aae74dd500224000402a464c6a66ae7005805405004c40504c98d4cd5ce2490350543500014013135573ca00226ea800448c88c008dd6000990009aa814111999aab9f00125025233502430043574200460066ae880080448c8c8c8cccd5cd19b8735573aa00690001199911091998008020018011919191999ab9a3370e6aae7540092000233221233001003002301335742a00466a0180246ae84d5d1280111931a99ab9c017016015014135573ca00226ea8004d5d0a801999aa803bae500635742a00466a010eb8d5d09aba2500223263533573802602402202026ae8940044d55cf280089baa0011335500175ceb44488c88c008dd5800990009aa81311191999aab9f0022502423350233355025300635573aa004600a6aae794008c010d5d100180809aba100112232323333573466e1d4005200023212230020033005357426aae79400c8cccd5cd19b8750024800884880048c98d4cd5ce00880800780700689aab9d500113754002464646666ae68cdc39aab9d5002480008cc8848cc00400c008c014d5d0a8011bad357426ae8940088c98d4cd5ce00700680600589aab9e5001137540024646666ae68cdc39aab9d5001480008dd71aba135573ca004464c6a66ae7003002c0280244dd500089119191999ab9a3370ea00290021091100091999ab9a3370ea00490011190911180180218031aba135573ca00846666ae68cdc3a801a400042444004464c6a66ae7003c03803403002c0284d55cea80089baa0012323333573466e1d40052002202023333573466e1d40092000202023263533573801601401201000e26aae74dd5000919191919191999ab9a3370ea002900610911111100191999ab9a3370ea004900510911111100211999ab9a3370ea00690041199109111111198008048041bae35742a00a6eb4d5d09aba2500523333573466e1d40112006233221222222233002009008375c6ae85401cdd71aba135744a00e46666ae68cdc3a802a400846644244444446600c01201060186ae854024dd71aba135744a01246666ae68cdc3a8032400446424444444600e010601a6ae84d55cf280591999ab9a3370ea00e900011909111111180280418071aba135573ca018464c6a66ae7004c04804404003c03803403002c0284d55cea80209aab9e5003135573ca00426aae7940044dd50009191919191999ab9a3370ea002900111999110911998008028020019bad35742a0086eb4d5d0a8019bad357426ae89400c8cccd5cd19b875002480008c8488c00800cc020d5d09aab9e500623263533573801801601401201026aae75400c4d5d1280089aab9e500113754002464646666ae68cdc3a800a400446424460020066eb8d5d09aab9e500323333573466e1d400920002321223002003375c6ae84d55cf280211931a99ab9c009008007006005135573aa00226ea800444888c8c8cccd5cd19b8735573aa0049000119aa80e18031aba150023005357426ae8940088c98d4cd5ce00480400380309aab9e5001137540029309000a4810350543100223355300812001235001223355017002333500123355300c1200123500122335501b00235500d0010012233355500801000200123355300c1200123500122335501b00235500c00100133355500300b002001111222333553004120015012335530081200123500122335501700235500900133355300412001223500222533533355300d120013500b500e235001223300a00200500610031335016004003501300133553008120012350012232335501800330010053200135501c225335001135500a003221350022253353300c002008112223300200a0041300600300232001355015221122253350011002221330050023335530071200100500400111212223003004112122230010041233500b2233350032200200200135001220013200135501122112253350011500f22133501030040023355300612001004001320013550102211222533500113500322001221333500522002300400233355300712001005004001112330012253350021010100100d22333573466e3c008004038034894cd400440344cd5ce001006190009aa806110891299a8008a80511099a805980200119aa9803090008020008891980080100511299a801080088048919a80111199a801910010010009a8009100089109198008018010891001091091198008020018891091980080180111199ab9a3370e0040020080062440042440024466e00008004448c8c00400488cc00cc008008004cd4488ccd44888cd4488cc008cd5401d22120d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf0048020cd4010cd5401d22010141004820293a00ccd4010cd5401d22010142004820293a00ccd4010cd5401d22010143004820293a00ccd4010cd5401d22010144004820293a00d40148848cc00400c00880044488008488488cc00401000c48004448848cc00400c008448005"
                }
              ]
            ],
            "slOwnStakePubKeyHash": null,
            "slOtherData": []
          }
        },
        "_logLevel": "Debug"
      }
    ],
    "err": {
      "contents": {
        "contents": {
          "txOutRefId": {
            "getTxId": "d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf"
          },
          "txOutRefIdx": 4
        },
        "tag": "TxOutRefNotFound"
      },
      "tag": "ConstraintResolutionContractError"
    },
    "hooks": [],
    "logs": [
      {
        "_logMessageContent": {
          "mkTxLogTxConstraints": {
            "txOwnInputs": [],
            "txConstraints": [
              {
                "contents": {
                  "txOutRefId": {
                    "getTxId": "d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf"
                  },
                  "txOutRefIdx": 4
                },
                "tag": "MustSpendPubKeyOutput"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "A"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "B"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "C"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              },
              {
                "contents": [
                  "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                  "d87980",
                  {
                    "unTokenName": "D"
                  },
                  4000000
                ],
                "tag": "MustMintValue"
              }
            ],
            "txOwnOutputs": []
          },
          "mkTxLogResult": {
            "Left": {
              "contents": {
                "txOutRefId": {
                  "getTxId": "d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf"
                },
                "txOutRefIdx": 4
              },
              "tag": "TxOutRefNotFound"
            }
          },
          "mkTxLogLookups": {
            "slTypedValidator": null,
            "slTxOutputs": [],
            "slOtherScripts": [],
            "slPaymentPubKeyHashes": [],
            "slOwnPaymentPubKeyHash": null,
            "slMPS": [
              [
                "6a538f8d0704246967f89da5ca94148b26115b2e000792d42480e857",
                {
                  "getMintingPolicy": "590b200100003323233223232332232323232323232323232323322323232323232323232323232323232323232322223232533532323500722350022235005223302b33028491024330003232333553027120013502e502c2350012233355302a1200135031502f23500122333500123303a4800000488cc0ec0080048cc0e8005200000133020002001350032222222222007323500e2233322335500200120013028120013350302233553029120012350012233550380023355302c1200123500122335503b00233350012330404800000488cc1040080048cc10000520000013302300200150323355302c12001235001223350343355036006335034335503600200150355035001350072233335001232635335738921024c680001f01e20012326353357389201024c680001f01e2326353357389201024c680001f01e330284910243310035002222222222233355302f120013502d503025335333573466e3c03cd400488d4008880080f80f44ccd5cd19b8700e3500122350022200103e03d103d00a3333573466e1cd55cea801a400046644246600200600464646464646464646464646666ae68cdc39aab9d500a480008cccccccccc888888888848cccccccccc00402c02802402001c01801401000c008cd40508c8c8cccd5cd19b8735573aa0049000119910919800801801180e9aba150023019357426ae8940088c98d4cd5ce01381301281209aab9e5001137540026ae854028cd4050054d5d0a804999aa80bbae501635742a010666aa02eeb94058d5d0a80399a80a00e9aba15006335014335502001e75a6ae854014c8c8c8cccd5cd19b8735573aa00490001199109198008018011919191999ab9a3370e6aae754009200023322123300100300233502375a6ae854008c090d5d09aba2500223263533573805605405205026aae7940044dd50009aba150023232323333573466e1cd55cea8012400046644246600200600466a046eb4d5d0a80118121aba135744a004464c6a66ae700ac0a80a40a04d55cf280089baa001357426ae8940088c98d4cd5ce01381301281209aab9e5001137540026ae854010cd4051d71aba15003335014335502075c40026ae854008c068d5d09aba2500223263533573804604404204026ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd50009aba150033232323333573466e1d400520062321222230040053015357426aae79400c8cccd5cd19b875002480108c848888c008014c05cd5d09aab9e500423333573466e1d400d20022321222230010053013357426aae7940148cccd5cd19b875004480008c848888c00c014dd71aba135573ca00c464c6a66ae7007807407006c0680640604d55cea80089baa001357426ae89400c8c98d4cd5ce00b80b00a80a1999ab9a3370e6aae74dd500224000402a464c6a66ae7005805405004c40504c98d4cd5ce2490350543500014013135573ca00226ea800448c88c008dd6000990009aa814111999aab9f00125025233502430043574200460066ae880080448c8c8c8cccd5cd19b8735573aa00690001199911091998008020018011919191999ab9a3370e6aae7540092000233221233001003002301335742a00466a0180246ae84d5d1280111931a99ab9c017016015014135573ca00226ea8004d5d0a801999aa803bae500635742a00466a010eb8d5d09aba2500223263533573802602402202026ae8940044d55cf280089baa0011335500175ceb44488c88c008dd5800990009aa81311191999aab9f0022502423350233355025300635573aa004600a6aae794008c010d5d100180809aba100112232323333573466e1d4005200023212230020033005357426aae79400c8cccd5cd19b8750024800884880048c98d4cd5ce00880800780700689aab9d500113754002464646666ae68cdc39aab9d5002480008cc8848cc00400c008c014d5d0a8011bad357426ae8940088c98d4cd5ce00700680600589aab9e5001137540024646666ae68cdc39aab9d5001480008dd71aba135573ca004464c6a66ae7003002c0280244dd500089119191999ab9a3370ea00290021091100091999ab9a3370ea00490011190911180180218031aba135573ca00846666ae68cdc3a801a400042444004464c6a66ae7003c03803403002c0284d55cea80089baa0012323333573466e1d40052002202023333573466e1d40092000202023263533573801601401201000e26aae74dd5000919191919191999ab9a3370ea002900610911111100191999ab9a3370ea004900510911111100211999ab9a3370ea00690041199109111111198008048041bae35742a00a6eb4d5d09aba2500523333573466e1d40112006233221222222233002009008375c6ae85401cdd71aba135744a00e46666ae68cdc3a802a400846644244444446600c01201060186ae854024dd71aba135744a01246666ae68cdc3a8032400446424444444600e010601a6ae84d55cf280591999ab9a3370ea00e900011909111111180280418071aba135573ca018464c6a66ae7004c04804404003c03803403002c0284d55cea80209aab9e5003135573ca00426aae7940044dd50009191919191999ab9a3370ea002900111999110911998008028020019bad35742a0086eb4d5d0a8019bad357426ae89400c8cccd5cd19b875002480008c8488c00800cc020d5d09aab9e500623263533573801801601401201026aae75400c4d5d1280089aab9e500113754002464646666ae68cdc3a800a400446424460020066eb8d5d09aab9e500323333573466e1d400920002321223002003375c6ae84d55cf280211931a99ab9c009008007006005135573aa00226ea800444888c8c8cccd5cd19b8735573aa0049000119aa80e18031aba150023005357426ae8940088c98d4cd5ce00480400380309aab9e5001137540029309000a4810350543100223355300812001235001223355017002333500123355300c1200123500122335501b00235500d0010012233355500801000200123355300c1200123500122335501b00235500c00100133355500300b002001111222333553004120015012335530081200123500122335501700235500900133355300412001223500222533533355300d120013500b500e235001223300a00200500610031335016004003501300133553008120012350012232335501800330010053200135501c225335001135500a003221350022253353300c002008112223300200a0041300600300232001355015221122253350011002221330050023335530071200100500400111212223003004112122230010041233500b2233350032200200200135001220013200135501122112253350011500f22133501030040023355300612001004001320013550102211222533500113500322001221333500522002300400233355300712001005004001112330012253350021010100100d22333573466e3c008004038034894cd400440344cd5ce001006190009aa806110891299a8008a80511099a805980200119aa9803090008020008891980080100511299a801080088048919a80111199a801910010010009a8009100089109198008018010891001091091198008020018891091980080180111199ab9a3370e0040020080062440042440024466e00008004448c8c00400488cc00cc008008004cd4488ccd44888cd4488cc008cd5401d22120d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf0048020cd4010cd5401d22010141004820293a00ccd4010cd5401d22010142004820293a00ccd4010cd5401d22010143004820293a00ccd4010cd5401d22010144004820293a00d40148848cc00400c00880044488008488488cc00401000c48004448848cc00400c008448005"
                }
              ]
            ],
            "slOwnStakePubKeyHash": null,
            "slOtherData": []
          }
        },
        "_logLevel": "Debug"
      }
    ],
    "observableState": null
  },
  "cicContract": {
    "unContractInstanceId": "2e4a9f5b-e258-4087-9355-15f8983c8c70"
  },
  "cicStatus": "Done",
  "cicYieldedExportTxs": [],
  "cicDefinition": {
    "tag": "UniswapInit"
  }
}

Thanks!

[mikekeke]

I remember having this issue and I think I traced it to the point where TxOutRef obtained by getUnspentOutput in mintContract was not among utxos returned by utxosAt

Although, it was possible to obtain desired utxo with txOutFromRef txOutRef, and use that utxo in lookups instead of utxos returned by utxosAt.

[tbidne]

@mikekeke Thanks for the help! Did you have something like this mind?

mintContract' ::
  forall w s e.
  ( AsCurrencyError e
  ) =>
  [(TokenName, Integer)] ->
  Contract w s e OneShotCurrency
mintContract' amounts = mapError (review _CurrencyError) $ do
  txOutRef <- getUnspentOutput
  -- instead of utxos <- utxosAt (pubKeyHashAddress pk Nothing)
  mUtxos <- txOutFromRef txOutRef
  -- get rid of Maybe
  utxos <- case mUtxos of
    Nothing ->
      throwError $
        review _OtherContractError $
          "Unspent transaction not found from ref" <> T.pack (show txOutRef)
    Just ux -> pure ux

  -- Make a map with our ref and transaction. The rest is the same as mintContract
  let utxosMap = Map.singleton txOutRef utxos
      theCurrency = mkCurrency txOutRef amounts
      curVali = curPolicy theCurrency
      lookups =
        Constraints.mintingPolicy curVali
          <> Constraints.unspentOutputs utxosMap
      mintTx =
        Constraints.mustSpendPubKeyOutput txOutRef
          <> Constraints.mustMintValue (mintedValue theCurrency)
  tx <- submitTxConstraintsWith @Scripts.Any lookups mintTx
  _ <- awaitTxConfirmed (getCardanoTxId tx)
  pure theCurrency

Unfortunately, I still receive what appears to be the same error. This is true whether I use txOutFromRef or unspentTxOutFromRef, for what it's worth.

[pab:Info:1691] [2022-05-12 03:57:05.24 UTC] Initialising contract UniswapInit with ID a4239039-d413-4181-b690-f4b07c141066
[pab:Info:1691] [2022-05-12 03:57:05.28 UTC] Activated instance a4239039-d413-4181-b690-f4b07c141066 on W2d4cc31
[pab:Info:1693] [2022-05-12 03:57:05.31 UTC] a4239039-d413-4181-b690-f4b07c141066: "*** Before mint"
[chain-index:Warning:1707] [2022-05-12 03:57:05.60 UTC] TxOut not found with: d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf!0
[pab:Error:1693] [2022-05-12 03:57:05.60 UTC] a4239039-d413-4181-b690-f4b07c141066: {
    "contents": "Unspent transaction not found from refTxOutRef {txOutRefId = d3e4ff652ffb1bdda69bd60ca331cf2444cd49149255f1aad50564593c830bbf, txOutRefIdx = 0}",
    "tag": "OtherContractError"

I have this on a fork here: https://github.com/input-output-hk/plutus-apps/compare/tbidne:alt-mint

[mikekeke]

@tbidne
Yeah, I meant something like this. But have no ideas now why txOutFromRef returns Nothing for TxOutRef found by getUnspentOutput.