continuing invitation pattern

[dckc]

For an NFT ticketing system bounty ( Agoric/agoric-sdk#4657 ) we (@samsiegart , @Chris-Hibbert @kennyrowe, @jeetraut and I) recommended the continuing invitation pattern in office hours. There is essentially no documentation, so we sketched something quick-n-dirty:

https://gist.github.com/dckc/9c393be1bd5a147f72c6b42ca12a1aa2#continuing-invitation-pattern

[dckc]

See also plans for more direct support for ocaps in the wallet Agoric/agoric-sdk#3901

[Tyrosine22]

If I understand this correctly, this will probably be taken care of when I document continuing offers. (#759)

Note: There's a very good chance I don't understand this correctly, but I have higher priority things in my queue. I'll update this bug when I have time to properly investigate.

[dckc]

Yes, it looks like #759 should be closed as a dup of this.

[dckc]

recent discussion reminded us of the somewhat canonical example in the vaults contract:

https://github.com/Agoric/agoric-sdk/blob/5dc325b8cc1d94f46ecc18a7c67a14989feade11/packages/inter-protocol/src/vaultFactory/vaultHolder.js#L73C1-L83C9

[dckc]

closed in #999

[dckc]

in office hours today... thanks Jorge...

---
title: Continuing Invitation
---
sequenceDiagram
    actor c as client
    participant sw as swartWallet
    participant i as invitations

    c ->> sw: { id: offer1, source: 'purse' }
    sw -->> sw: withdraw inv1
    sw -->> zoe: offer(inv1, ...)
    zoe -->> sw: seat1
    create participant seat1
    sw -->> seat1: getOfferResult()
    seat1 -->> sw: invitationMakers1


    note over c, sw :  offerSpec:  { id, invitationSpec, proposal, offerArgs }
    note over c, sw :  invitationSpec:  { source: 'continuing', previousOffer: offer1, invitationMakerName: 'AdjustVault', invitationArgs}
    c ->> sw : executeOffer(offerSpec) 
    sw ->> i : makeInvitationsHelper()
    i -->> sw : invitationFromSpec
    sw ->> i : invitationFromSpec(offerSpec.invitationSpec)
    i ->> i : spec.source === 'continuing' 
    i ->> sw : getInvitationContinuation(previousOffer)
    sw ->> sw : offerToInvitationMakers.get(previousOffer)
    sw -->> i : invitationMakers1
    create participant im as invitationMakers1
    i ->> im : invitationMakerName(invitationArgs)
    im -->> sw : invitation

Loading