Canton transaction issue

David_Martins · February 6, 2024, 5:42pm

Hello,

I’m facing an issue when performing a transaction with a multi domain canton setup of 5 participants (P(A-E)) and 2 domains (D(1-2)).
The architecture is as follows:

P[A,B,C,E] -> D1
P[A,B,D,E] -> D2

Additional setup:

All participants except C and D has multi domain support configured
A dar with a template Foo was uploaded to all participants
A dar with a template Bar was uploaded to C, D and E
Template Bar has a choice Choice that takes as parameter a contract for template Foo coming from PA (fooPAcid).
Neither Foo contract’s stakeholders have visibility on Bar with the exception of the Bar’s choice controller, which is an observer on both Foos

Now the problem:
Executing this choice on PE with only a fetch for fooPAcid fails the transaction with the following error.

FAILED_PRECONDITION: AUTOMATIC_TRANSFER_FOR_TRANSACTION_FAILED(9,160a9949): Automatically transferring contracts to a common domain failed.

I tried to discover the meaning of this error in the daml docs, but it didn’t give me much info. What is the reason for this error?

Thanks in advance

Rafael_Guglielmetti · February 9, 2024, 2:01pm

Hi @David_Martins !
Could you share the two templates and indicate:

Which are the contract instances that you have (including the signatories and observers parties)?
Who is the party exercising the choice on participant PE?
Are all the parties hosted on all the domains ?

Thanks!

Raf

David_Martins · February 9, 2024, 3:24pm

Hello @Rafael_Guglielmetti, thanks for the reply.

For a bit more context I’m working on a DvP project that includes a multi node workflow, that also leverages the Daml Finance library.
I can share snippets of the templates that i have as well as the transaction tree that was logged.

Interface module for Settlement

data View = View
  with
    operator : Party
    provider : Party
    holder : Party
  deriving (Eq, Show)

interface Settlement requires Services.Service where
  viewtype View

  instructTrade : InstructTrade -> Update ()

  nonconsuming choice InstructTrade : ()
    with
      tradeRequestCid : ContractId TradeRequest.TradeRequest
      counterRequestView : TradeRequest.View
    controller (view this).holder
    do instructTrade this arg

Interface module for trade request

data View = View
  with
    operator : Party
    requestorAccount : AccountKey
    counterpartyAccount : AccountKey
    sending : (ContractId Holding.I, InstrumentKey)
    receiving : InstrumentQuantity
    tradePath : [(Party, AccountKey)]
  deriving (Eq, Show)

interface TradeRequest requires Disclosure.I where
  viewtype View

Implementation module for Settlement contract (a service type contract)

This module is present in E and choice’s controller for the is the holder party (Clearinghouse). The “tradeRequestCid” is is an interface cid created in either A or B and “counterRequestView” a View record for a trade request interface. The transaction fails on executing the fetch for “tradeRequestCid”.

template Settlement
  with
    operator : Party
    holder : Party
  where
    signatory operator, holder

    key (operator, holder) : (Party, Party)
    maintainer key._1

    interface instance Service.Service for Settlement where
      view = Service.View with operator, provider = operator, holder

    interface instance Settlement.Settlement for Settlement where
      view = Settlement.View with operator, provider = operator, holder

      instructTrade Settlement.InstructTrade{tradeRequestCid, counterRequestView} = do

          tradeRequestView <- view <$> fetch tradeRequestCid

Implementation module for trade request

template TradeRequest
  with
    operator : Party
    requestorAccount : AccountKey
    counterpartyAccount : AccountKey
    sending : (ContractId Holding.I, InstrumentKey)
    receiving : InstrumentQuantity
    tradePath : [(Party, AccountKey)]
    observers : PartiesMap
  where
    let
      custodian = requestorAccount.custodian
      requestor = requestorAccount.owner

    signatory operator, custodian, requestor

Logged transaction tree

The transaction is accepted be results in failure latter on

  Commands(
    participant5,
    "",
    daml-script,
    4550a631-f415-4b8b-9f4c-08a7f0edb15d,
    Clearinghouse::122097235f1c23d018711fb65dfe766d3ee66f3e1d5d6559249b5273dc86a0a566c4,
    Command(
      Exercise(
        ExerciseCommand(
          Identifier(99b310bc7e2432bd0c706d7b283b041d4ab3b3e3ec1d1e8d71f2661f58f02036, Dvp.Services.Settlement, Settlement),
          00d0feeb1681a436fb8adb384ca71d2a0f439f1ed979cc23ce60a341f5e6b99e65ca0212203e6320ca6466fe7b7ce3cef2c15e57cc0cdeba08ea655e24419873f1a645cfc9,
          InstructTrade,
          Value(
            Record(
              Record(
                Identifier(99b310bc7e2432bd0c706d7b283b041d4ab3b3e3ec1d1e8d71f2661f58f02036, Dvp.Services.Settlement, InstructTrade),
                Vector(
                  RecordField(
                    tradeRequestCid,
                    Value(ContractId(00213a109e8d0f748f469f8a4ee14f659b2703a4565481b56d4f5542f8bf65ed50ca0212203cbc0b51f737064cdaf205eb8dc275a5f2c12dc583430b9d6959d40decd5575c))
                  ),
                  RecordField(
                    counterRequestView,
                    Value(
                      Record(
                        Record(
                          Identifier(99b310bc7e2432bd0c706d7b283b041d4ab3b3e3ec1d1e8d71f2661f58f02036, Dvp.Models.Trade.Request, View),
                          Vector(
                            RecordField(operator, Value(Party(Participant1 Operator::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                            RecordField(
                              requestorAccount,
                              Value(
                                Record(
                                  Record(
                                    Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, AccountKey),
                                    Vector(
                                      RecordField(custodian, Value(Party(Participant1 Custodian::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                                      RecordField(owner, Value(Party(Alice::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                                      RecordField(
                                        id,
                                        Value(
                                          Record(
                                            Record(
                                              Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Id),
                                              RecordField(
                                                unpack,
                                                Value(
                                                  Text(
                                                    Alice::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d@Participant1 Custodian::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d
                                                  )
                                                )
                                              )
                                            )
                                          )
                                        )
                                      )
                                    )
                                  )
                                )
                              )
                            ),
                            RecordField(
                              counterpartyAccount,
                              Value(
                                Record(
                                  Record(
                                    Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, AccountKey),
                                    Vector(
                                      RecordField(custodian, Value(Party(Participant2 Custodian::12206bf2e70b08a87ec8a96e345fd298c89846c9dd3a88cbe153325b7ba0b43ea729))),
                                      RecordField(owner, Value(Party(Bob::12206bf2e70b08a87ec8a96e345fd298c89846c9dd3a88cbe153325b7ba0b43ea729))),
                                      RecordField(
                                        id,
                                        Value(
                                          Record(
                                            Record(
                                              Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Id),
                                              RecordField(
                                                unpack,
                                                Value(
                                                  Text(
                                                    Bob::12206bf2e70b08a87ec8a96e345fd298c89846c9dd3a88cbe153325b7ba0b43ea729@Participant2 Custodian::12206bf2e70b08a87ec8a96e345fd298c89846c9dd3a88cbe153325b7ba0b43ea729
                                                  )
                                                )
                                              )
                                            )
                                          )
                                        )
                                      )
                                    )
                                  )
                                )
                              )
                            ),
                            RecordField(
                              sending,
                              Value(
                                Record(
                                  Record(
                                    Identifier(40f452260bef3f29dede136108fc08a88d5a5250310281067087da6f0baddff7, DA.Types, Tuple2),
                                    Vector(
                                      RecordField(
                                        _1,
                                        Value(ContractId(000648fde7f1699912f91250be253e2cecfd1020448bb04de9f9beea0e8161dcf4ca0212202150cfbdd249e7d95b67a6809386af54cc44c19c9f41501dfa3570e449880cc7))
                                      ),
                                      RecordField(
                                        _2,
                                        Value(
                                          Record(
                                            Record(
                                              Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, InstrumentKey),
                                              Vector(
                                                RecordField(depository, Value(Party(Central Bank::122004a5609cbbc56b9e8b0642539c59bb4d81d59e26780c4a8d65b93f582025c885))),
                                                RecordField(issuer, Value(Party(Central Bank::122004a5609cbbc56b9e8b0642539c59bb4d81d59e26780c4a8d65b93f582025c885))),
                                                RecordField(
                                                  id,
                                                  Value(
                                                    Record(
                                                      Record(
                                                        Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Id),
                                                        RecordField(unpack, Value(Text(USD)))
                                                      )
                                                    )
                                                  )
                                                ),
                                                RecordField(version, Value(Text(1)))
                                              )
                                            )
                                          )
                                        )
                                      )
                                    )
                                  )
                                )
                              )
                            ),
                            RecordField(
                              receiving,
                              Value(
                                Record(
                                  Record(
                                    Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Quantity),
                                    Vector(
                                      RecordField(
                                        unit,
                                        Value(
                                          Record(
                                            Record(
                                              Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, InstrumentKey),
                                              Vector(
                                                RecordField(depository, Value(Party(Central Securities Depository::12202b19c274f7356d9676c367ad1aa19cb3a08ffbcde8f85547b2b430e1ade3377f))),
                                                RecordField(issuer, Value(Party(Central Securities Depository::12202b19c274f7356d9676c367ad1aa19cb3a08ffbcde8f85547b2b430e1ade3377f))),
                                                RecordField(
                                                  id,
                                                  Value(
                                                    Record(
                                                      Record(
                                                        Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Id),
                                                        RecordField(unpack, Value(Text(TSLA)))
                                                      )
                                                    )
                                                  )
                                                ),
                                                RecordField(version, Value(Text(1)))
                                              )
                                            )
                                          )
                                        )
                                      ),
                                      RecordField(amount, Value(Numeric(1000.0000000000)))
                                    )
                                  )
                                )
                              )
                            ),
                            RecordField(
                              tradePath,
                              Value(
                                List(
                                  List(
                                    Vector(
                                      Value(
                                        Record(
                                          Record(
                                            Identifier(40f452260bef3f29dede136108fc08a88d5a5250310281067087da6f0baddff7, DA.Types, Tuple2),
                                            Vector(
                                              RecordField(_1, Value(Party(Alice::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                                              RecordField(
                                                _2,
                                                Value(
                                                  Record(
                                                    Record(
                                                      Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, AccountKey),
                                                      Vector(
                                                        RecordField(custodian, Value(Party(Participant1 Custodian::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                                                        RecordField(owner, Value(Party(Alice::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                                                        RecordField(
                                                          id,
                                                          Value(
                                                            Record(
                                                              Record(
                                                                Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Id),
                                                                RecordField(
                                                                  unpack,
                                                                  Value(
                                                                    Text(
                                                                      Alice::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d@Participant1 Custodian::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d
                                                                    )
                                                                  )
                                                                )
                                                              )
                                                            )
                                                          )
                                                        )
                                                      )
                                                    )
                                                  )
                                                )
                                              )
                                            )
                                          )
                                        )
                                      ),
                                      Value(
                                        Record(
                                          Record(
                                            Identifier(40f452260bef3f29dede136108fc08a88d5a5250310281067087da6f0baddff7, DA.Types, Tuple2),
                                            Vector(
                                              RecordField(_1, Value(Party(Participant1 Custodian::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                                              RecordField(
                                                _2,
                                                Value(
                                                  Record(
                                                    Record(
                                                      Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, AccountKey),
                                                      Vector(
                                                        RecordField(custodian, Value(Party(Central Bank::122004a5609cbbc56b9e8b0642539c59bb4d81d59e26780c4a8d65b93f582025c885))),
                                                        RecordField(owner, Value(Party(Participant1 Custodian::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d))),
                                                        RecordField(
                                                          id,
                                                          Value(
                                                            Record(
                                                              Record(
                                                                Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Id),
                                                                RecordField(
                                                                  unpack,
                                                                  Value(
                                                                    Text(
                                                                      Participant1 Custodian::12205ac75896fe8f3d3f5af37d464a8a2e6402ffb40b8586052824ca71b131439c7d@Central Bank::122004a5609cbbc56b9e8b0642539c59bb4d81d59e26780c4a8d65b93f582025c885
                                                                    )
                                                                  )
                                                                )
                                                              )
                                                            )
                                                          )
                                                        )
                                                      )
                                                    )
                                                  )
                                                )
                                              )
                                            )
                                          )
                                        )
                                      ),
                                      Value(
                                        Record(
                                          Record(
                                            Identifier(40f452260bef3f29dede136108fc08a88d5a5250310281067087da6f0baddff7, DA.Types, Tuple2),
                                            Vector(
                                              RecordField(_1, Value(Party(Central Bank::122004a5609cbbc56b9e8b0642539c59bb4d81d59e26780c4a8d65b93f582025c885))),
                                              RecordField(
                                                _2,
                                                Value(
                                                  Record(
                                                    Record(
                                                      Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, AccountKey),
                                                      Vector(
                                                        RecordField(custodian, Value(Party(Clearinghouse::122097235f1c23d018711fb65dfe766d3ee66f3e1d5d6559249b5273dc86a0a566c4))),
                                                        RecordField(owner, Value(Party(Central Bank::122004a5609cbbc56b9e8b0642539c59bb4d81d59e26780c4a8d65b93f582025c885))),
                                                        RecordField(
                                                          id,
                                                          Value(
                                                            Record(
                                                              Record(
                                                                Identifier(b1646d11a251b65507ac12de89633d323dc5237ec11127ad66e983d8d6e3e623, Daml.Finance.Interface.Types.Common.Types, Id),
                                                                RecordField(
                                                                  unpack,
                                                                  Value(
                                                                    Text(
                                                                      Central Bank::122004a5609cbbc56b9e8b0642539c59bb4d81d59e26780c4a8d65b93f582025c885@Clearinghouse::122097235f1c23d018711fb65dfe766d3ee66f3e1d5d6559249b5273dc86a0a566c4
                                                                    )
                                                                  )
                                                                )
                                                              )
                                                            )
                                                          )
                                                        )
                                                      )
                                                    )
                                                  )
                                                )
                                              )
                                            )
                                          )
                                        )
                                      )
                                    )
                                  )
                                )
                              )
                            )
                          )
                        )
                      )
                    )
                  )
                )
              )
            )
          )
        )
      )
    ),
    Empty,
    None,
    None,
    Clearinghouse::122097235f1c23d018711fb65dfe766d3ee66f3e1d5d6559249b5273dc86a0a566c4,
    Vector(),
    "",
    Vector()
  )
)

As for party hosting, it’s as follows:

Alice and Custodian 1 are hosted on PA
Bob and Custodian 2 are hosted on PB
Central Bank is hosted on PC
Central Securities Depository is hosted on PD
Clearinghouse is hosted on PE

Hope these clarifications help, if needed I can provide further context.
Best regards

Rafael_Guglielmetti · February 17, 2024, 10:48am

Hi @David_Martins ,
Sorry for the delay in answering!

I am coming back more precisely to ask question related to your first message:

You mentioned templates Foo and Bar. Could you share them ?
What are the contract instances for these templates ?
Who is the party exercising the choice on PE? (is it the clearinghouse?)
Are all the parties hosted on all the domains?

Best,

Rafael

David_Martins · February 19, 2024, 2:22pm

Hello @Rafael_Guglielmetti,

In my reply I have the snippets for the actual templates that Foo and Bar were extrapolated from, where Foo is the TradeRequest template and Bar is the Settlement template, where the Settlement contract was created on PE and the TradeRequest contract was created on PA.
As party hosting is concerned, both D1 and. D2 would know about Alice, Bob, Custodian 1, Custodian 2 and Clearinghouse, D1 would be privy to Central Bank and D2 to Central Securities Depository.
The Clearinghouse party is indeed the controller for the mentioned choice.
Unfortunately, I’m not quite sure, what you mean in the second question, so if you could provide further clarification there, it would be appreciated.

Kind regards

Rafael_Guglielmetti · February 24, 2024, 3:35pm

Hey!
Sorry, I got a bit confused by the extrapolation from Foo/Bar to your example.

Some context first,
In Daml, any transaction is performed/coordinated over a single domain. In particular, for a transaction to be executed, all the input contracts (contracts needed for the transaction) have to be on a single domain. By default, Canton will try to automatically transfer the contracts to a suited domain before submitting the transaction.

Roughly, the find candidates for this “shared domain”, Canton will

list all the input contracts
for all the contracts in 1., list all the stakeholders (signatories and observers)
for all the contracts in 1., list all the packages containing the corresponding templates
find a domain on which all the stakeholders (2.) are hosted and all the packages are vetted.

In your case, the transaction involve the CSD and the CentralBank but they don’t share a common domain. What you can do is to connect P3 to domain D2 or connect P4 to domain D1: this should allow the transaction to go through.

Hope this helps.

Raf

David_Martins · February 26, 2024, 8:26am

Hello,

Actually this design came about because of the need to synchronise the transaction in a single domain.
Even though the csd and central bank parties don’t share a domain, they don’t share the transaction either, so, in principle, it should be able to go only through D1.

Rafael_Guglielmetti · February 26, 2024, 8:52am

Yes, but if you look at your transaction tree (snippet you posted above) we see CSD and CentralBank being involved in the transaction, which means they must be connected to a common domain.

David_Martins · February 26, 2024, 11:23am

They shoiuldn’t be involved in the transaction though, since they only exist as fields on the arguments that the choice takes. Given they are present as fields, a domain must exist that knows about both?

Rafael_Guglielmetti · February 28, 2024, 4:07pm

You are right that it is not necessarily an input contract to the transaction.
In order for me to investigate further, could you:

Tell me which Canton version you are using
Provide the Canton logs
Ideally, a full example that reproduces the issue

Thanks.

Best,

Raf

David_Martins · March 1, 2024, 9:39am

Hello,

To answer the first question, I’m using version 2.7.1, and I’ve sent you a private message for the rest.

Thank you

bernhard · March 12, 2024, 1:42pm

Hi @David_Martins can you file through the support portal, please?

Topic		Replies	Views
Multi domain transaction Questions daml , canton	6	98	January 15, 2024
Canton behaviour when handling non-enabled informee (observer) Questions canton	1	229	August 29, 2022
How would a migration from infrastructure work (e.g. from PostGre to CORDA or Hyperledger Fabric) - in Canton context? Questions canton	5	298	February 11, 2022
Canton node error handling / disconnection Questions canton	3	209	April 11, 2023
Unable to create contract with the package uploaded by Ledger API Questions daml , canton	4	171	June 7, 2023

Canton transaction issue

Related Topics